(0 17 15)(1 18 3)(2 8 4)(5 13 7)(6 20 9)(10 16 14)(11 19 12)
ALLOWS (11/8)-SEQUENCE
1: (6 8 9)
(0 17 15)(1 18 3)(2 8 20 9 4)(5 13 7)(6)(10 16 14)(11 19 12)
2: (2 8 20)
(0 17 15)(1 18 3)(2 9 4)(5 13 7)(6)(8)(10 16 14)(11 19 12)(20)
3: (1 18 3)
(0 17 15)(1)(2 9 4)(3)(5 13 7)(6)(8)(10 16 14)(11 19 12)(18)(20)
4: (2 9 4)
(0 17 15)(1)(2)(3)(4)(5 13 7)(6)(8)(9)(10 16 14)(11 19 12)(18)(20)